%0 Conference Proceedings
%4 dpi.inpe.br/plutao/2013/05.31.17.23.59
%2 dpi.inpe.br/plutao/2013/05.31.17.24
%@isbn 978-85-7669-274-4
%F lattes: 4522542236886713 2 CassianoFoTikaAmbr:2013:VaSaSp
%T Validation of the Satellite Speed Measurement System with the Use of Finite State Machine for Test Case Generation
%D 2013
%A Cassiano Filho, Antonio,
%A Tikami, Auro,
%A Ambrosio, Ana Maria,
%@affiliation
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@electronicmailaddress cassiano.filho@inpe.br
%@electronicmailaddress auro.tikami@inpe.br
%@electronicmailaddress ana.ambrosio@inpe.br
%B Latin-American Symposium on Dependable Computing, 6 (LADC'2013).
%C Rio de Janeiro
%8 2-5 abr. 2013
%P 107-110
%S Proceedings
%K Finite State Machine, Test Case Generation, JPlavisFSM platform, satellite, system under test, Modeling.
%X The area of Model Based Software Testing is of interest to researchers, professional experts in testing and development as well as to the industrial sector. Several test methods are proposed in the literature for the validation of a computational system. This paper presents the experience of using finite-state machine (FSM) to model a system for automatically test generation applied to a software system of the space area. Starting from the functional requirement of the Satellite Speed Measurement (SSM) developed by National Institute for Space Research (INPE), the system behavior is modeled and the JPlavisFSM platform is used to automatically generate test-case sets. This platform provides different FSM based methods for system validation purposes. The test-case sets (each set is resulted from one method) are compared and evaluated according to the cost of generation and their size. The paper also discusses the efficiency of practical application.
%@language en
%3 0030.pdf
%U http://www.lbd.dcc.ufmg.br/colecoes/ladc/2013/0030.pdf
%O Setores de Atividade: Telecomunicações.